]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6f297e) | patch
extensionPrefs: Support uninstalling user extensions
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 30 Nov 2019 05:06:08 +0000 (06:06 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 3 Feb 2020 18:11:21 +0000 (19:11 +0100)
commitdb69ad876a22192645ba29f8184516ba097d72fa
tree77bbafad884126821bc103c3ce97a17d0342e2c1tree | snapshot
parentc6f297e4e5cf12a4aa7b5d70d37c52fd404e3e73commit | diff
extensionPrefs: Support uninstalling user extensions

This is functionality currently provided by GNOME Software, and
which the new Extensions app should (and easily can) provide.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
js/extensionPrefs/main.js diff | blob | history
js/extensionPrefs/ui/extension-row.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.